1. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
موضوع : ، Proof theory,، Number theory,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory,، Numbers, Theory of,، Predicate calculus
رده :
QA
3
.
L28
no
.
447
3. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
1
.
L4
v
.
447
4. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
3
.
L28
Vol
.
447
